$\forall$$p$:FinProbSpace, $n$:$\mathbb{N}$, $Y$:RandomVariable($p$;$n$). 0 $\leq$ $Y$ $\Rightarrow$ 0 $\leq$ E($n$;$Y$)